transition system
状態遷移系
Transition monoid
Transformation monoid
Semigroup action
Simulation preorder
Bisimulation
Operational semantics
Kripke structure
Finite-state machine
Modal μ-calculus
/suto3/google.icon
transition system
image
transition system
define
transition system
wikipedia
transition system
weblio
transition system
kotobank
transition system
jisho
transition system